do a then b
